Analysis of WCET in an experimental satellite software development∗ Jorge Garrido* , Daniel Brosnan* , Juan A. de la Puente* , Alejandro Alonso* , and Juan Zamorano* *

Source URL: www.dit.upm.es

• Real-time computing
• Worst-case execution time
• Visual programming languages
• Simulink
• LEON
• Embedded system
• Computer hardware
• Electronics
• Computing

CS140 Operating Systems and Systems Programming Final Exam March 17, 2004 (Total time = 165 minutes, Total Points = 165) Name: (please print)______________________________ In recognition of and in the spirit of the Stanf

Source URL: www.scs.stanford.edu

• File system
• Inode
• Virtual memory
• Operating system
• Computing
• System software
• Computer architecture
• Operations research
• Planning
• Scheduling

ARiSA First Contact Analysis™ Applied Research In System Analysis™ - ARiSA™ “You cannot control what you cannot measure” Tom DeMarco

Source URL: arisa.se

• Object-oriented programming
• Coupling
• Analysis
• Cohesion
• Object-oriented design
• Packaging and labeling
• Java
• Software engineering
• Software architecture
• Software metrics

Petrozavodsk State University Department of Computer Science Sergey Marchenkov, Andrey Vdovenko, Dmitry Korzun Enhancing the SmartRoom System

Source URL: www.cs.karelia.ru

• Keyhole Markup Language
• Web 2.0
• Smart-M3
• Computing
• Flickr
• Tourism
• Application programming interface
• World Wide Web
• Social information processing
• Human behavior

Nested Virtualization Friendly KVM Sheng Yang, Qing He, Eddie Dong Software & Services Group 1

Source URL: www.linux-kvm.org

• Hardware virtualization
• Programming language implementation
• Hyper-V
• Virtualization
• Xen
• VM
• Extended Page Table
• Hardware-assisted virtualization
• System software
• Software
• Virtual machines

__________________________________________________ Master/Bachelor/Diploma thesis/ Project work Programming of the control system of a novel bending device in LabVIEW Initial situation:

Source URL: www.tuhh.de

CS140 Operating Systems and Systems Programming Final Exam. SummerBy Adam L Beberg. Given August 19th, 2006.

Source URL: www.scs.stanford.edu

• Software
• Inode
• Unix
• Paging
• File system
• Pointer
• Unix File System
• Scheduling
• Operating system
• Computing
• Disk file systems
• Virtual memory

Soundness of embeddings in the λΠ-calculus modulo rewriting Ali Assaf Deducteam, Inria Paris-Rocquencourt École Polytechnique

Source URL: who.rocq.inria.fr

• Logic
• Logic in computer science
• Dependently typed programming
• Lambda calculus
• Proof theory
• Curry–Howard correspondence
• First-order logic
• Logical framework
• System F
• Mathematical logic
• Theoretical computer science
• Type theory

Semantic Subtyping for Objects and Classes Ornela Dardha1 Daniele Gorla2 Daniele Varacca3

Source URL: www.dcs.gla.ac.uk

• Data types
• Object-oriented programming
• Programming language theory
• Subtype polymorphism
• Type system
• Polymorphism
• E
• Inheritance
• Lambda calculus
• Software engineering
• Type theory
• Computing